Henry Gordon Rice

Henry Gordon Rice (born 1920)[1] is a logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University.[2] He was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by Computer Sciences Corporation in El Segundo.[3][4]

References

  1. ^ http://www.wolframscience.com/nksonline/index/names/p-s.html
  2. ^ Rice, H. G. (March 1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". Transactions of the American Mathematical Society (American Mathematical Society) 74 (2): 358–366. doi:10.2307/1990888. JSTOR 1990888. 
  3. ^ "Pracniques". Communications of the ACM (Association for Computing Machinery) 8. 1965. http://books.google.com/?id=g8sfAAAAMAAJ&q=%22h+gordon+rice%22&dq=%22h+gordon+rice%22. 
  4. ^ "News Item". Datamation. January–February 1960. http://books.google.com/?id=C4TRXGp6HvQC&q=%22h+gordon+rice%22&dq=%22h+gordon+rice%22. 

External links